Nuprl Definition : list_all
4,23
postcript
pdf
list_all(
x
.
P
(
x
);
l
) == reduce(
a
,
b
.
P
(
a
) &
b
;True;
l
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
P
&
Q
,
True
FDL editor aliases
list_all
origin
a,b. P(a) & b;True;l) a,b. P(a) & b;True;l)